Chitta R. Baral: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 854 KB

english, 2008

2

Knowledge updates: Semantics and complexity issues

Chitta Baral, Yan Zhang

Journal:

Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 290 KB

english, 2005

3

Abductive reasoning through filtering

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 218 KB

english, 2000

4

Computational complexity of planning and approximate planning in the presence of incompleteness

Chitta Baral, Vladik Kreinovich, Raúl Trejo

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 213 KB

english, 2000

5

Embedding revision programs in logic programming situation calculus

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 827 KB

english, 1997

6

Dualities between alternative semantics for logic programming and nonmonotonic reasoning

Chitta R. Baral, V. S. Subrahmanian

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 1.40 MB

english, 1993

7

Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions

Chitta Baral, Nam Tran

Journal:

Year:

2005

Language:

english

File:

PDF, 291 KB

english, 2005

8

Logic programming and knowledge representation

Chitta Baral, Michael Gelfond

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 5.48 MB

english, 1994

9

Formalizing sensing actions— A transition function based approach

Tran Cao Son, Chitta Baral

Journal:

Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 535 KB

english, 2001

10

Formalizing narratives using nested circumscription

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 3.84 MB

english, 1998

11

MOLECULAR EVENT EXTRACTION FROM LINK GRAMMAR PARSE TREES IN THE BIONLP’09 SHARED TASK

Jörg Hakenberg, Illés Solt, Domonkos Tikk, Võ Há Nguyên, Luis Tari, Quang Long Nguyen, Chitta Baral, Ulf Leser

Journal:

Computational Intelligence

Year:

2011

Language:

english

File:

PDF, 364 KB

english, 2011

12

Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them

BARAL, CHITTA, DZIFCAK, JURAJ, GONZALEZ, MARCOS A., GOTTESMAN, AARON

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 142 KB

english, 2012

13

Reasoning about Action and Change || Alan: An Action Language for Modelling Non-Markovian Domains

Graciela González, Chitta Baral and Michael Gelfond

Journal:

Year:

2005

Language:

english

File:

PDF, 2.00 MB

english, 2005

14

Image Understanding using vision and reasoning through Scene Description Graph

Aditya, Somak, Yang, Yezhou, Baral, Chitta, Aloimonos, Yiannis, Fermüller, Cornelia

Journal:

Computer Vision and Image Understanding

Year:

2017

Language:

english

File:

PDF, 1.72 MB

english, 2017

15

Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples

MITRA, ARINDAM, BARAL, CHITTA

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 215 KB

english, 2018

16

Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems

Martine Ceberio, Vladik Kreinovich, Sanjeev Chopra, Luc Longpré, Hung T. Nguyen, Bertram Ludäscher, Chitta Baral

Journal:

Journal of Computational and Applied Mathematics

Year:

2007

Language:

english

File:

PDF, 197 KB

english, 2007

17

Hypothesizing about signaling networks

Nam Tran, Chitta Baral

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 354 KB

english, 2009

18

Representing actions: Laws, observations and hypotheses

Chitta Baral, Michael Gelfond, Alessandro Provetti

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 2.28 MB

english, 1997

19

Reasoning about effects of concurrent actions

Chitta Baral, Michael Gelfond

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.77 MB

english, 1997

20

Expanding queries to incomplete databases by interpolating general logic programs

Chitta Baral, Michael Gelfond, Olga Kosheleva

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 2.63 MB

english, 1998

21

Generalized disjunctive well-founded semantics for logic programs

Chitta Baral, Jorge Lobo, Jack Minker

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 2.22 MB

english, 1992

22

Stable and extension class theory for logic programs and default logics

Chitta R. Baral, V. S. Subrahmanian

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 1018 KB

english, 1992

23

Reasoning about non-immediate triggers in biological networks

Nam Tran, Chitta Baral

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 551 KB

english, 2007

24

Alan: An Action Language For Modelling Non-Markovian Domains

Graciela González, Chitta Baral, Michael Gelfond

Journal:

Year:

2005

Language:

english

File:

PDF, 316 KB

english, 2005

25

COMBINING KNOWLEDGE BASES CONSISTING OF FIRST-ORDER THEORIES

Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian

Journal:

Computational Intelligence

Year:

1992

Language:

english

File:

PDF, 1.60 MB

english, 1992

26

Conceptual Modeling and Querying in Multimedia Databases

Chitta Baral, Graciela Gonzalez, Tran Son

Journal:

Multimedia Tools and Applications

Year:

1998

Language:

english

File:

PDF, 771 KB

english, 1998

27

Introduction: Logic programming, non-monotonicreasoning and reasoning about actions

Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 32 KB

english, 1997

28

Relating logic programming theories of actions and partial order planning

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 444 KB

english, 1997

29

Fuzzy c-means clustering with prior biological knowledge

Luis Tari, Chitta Baral, Seungchan Kim

Journal:

Journal of Biomedical Informatics

Year:

2009

Language:

english

File:

PDF, 302 KB

english, 2009

30

A SNPshot of PubMed to associate genetic variants with drugs, diseases, and adverse reactions

Jörg Hakenberg, Dmitry Voronov, Võ Hà Nguyên, Shanshan Liang, Saadat Anwar, Barry Lumpkin, Robert Leaman, Luis Tari, Chitta Baral

Journal:

Journal of Biomedical Informatics

Year:

2012

Language:

english

File:

PDF, 650 KB

english, 2012

31

Probabilistic reasoning with answer sets

BARAL, CHITTA, GELFOND, MICHAEL, RUSHTON, NELSON

Journal:

Theory and Practice of Logic Programming

Year:

2009

Language:

english

File:

PDF, 1.20 MB

english, 2009

32

[IEEE 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06) - Athens, GA, USA (2006.11.10-2006.11.10)] 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06) - A Framework for Composition and Inter-operation of Rules in the Semantic Web

Pontelli, Enrico, Son, Tran, Baral, Chitta

Year:

2006

Language:

english

File:

PDF, 206 KB

english, 2006

33

[IEEE 2008 IEEE International Conference on Bioinformatics and Biomedicine - Philadelphia, PA, USA (2008.11.3-2008.11.5)] 2008 IEEE International Conference on Bioinformatics and Biomedicine - Extracting Protein-Protein Interactions from MEDLINE Using Syntactic Roles

Ahmed, Syed Toufeeq, Davulcu, Hasan, Baral, Chitta

Year:

2008

Language:

english

File:

PDF, 215 KB

english, 2008

34

[IEEE 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010) - Long Beach, CA, USA (2010.03.1-2010.03.6)] 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010) - GenerIE: Information extraction using database queries

Tari, Luis, Phan, Huy Tu, Hakenberg, Jorg, Chen, Yi, Tran, Cao Son, Gonzalez, Graciela, Baral, Chitta

Year:

2010

Language:

english

File:

PDF, 191 KB

english, 2010

35

[IEEE 9th International Conference on Information Technology (ICIT'06) - Bhubaneswar, India (2006.12.18-2006.12.21)] 9th International Conference on Information Technology (ICIT'06) - Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning

Baral, Chitta, Tari, Luis

Year:

2006

Language:

english

File:

PDF, 177 KB

english, 2006

36

FORMALIZING AND REASONING ABOUT THE REQUIREMENTS SPECIFICATIONS OF WORKFLOW SYSTEMS

TRAJCEVSKI, GOCE, BARAL, CHITTA, LOBO, JORGE

Journal:

International Journal of Cooperative Information Systems

Year:

2001

Language:

english

File:

PDF, 483 KB

english, 2001

37

COMBINING DEFAULT LOGIC DATABASES

BARAL, CHITTA, KRAUS, SARIT, MINKER, JACK, SUBRAHMANIAN, V. S.

Journal:

International Journal of Cooperative Information Systems

Year:

1994

Language:

english

File:

PDF, 1.23 MB

english, 1994

38

MAINTAINING THE TRUTH OF SPECIFICATIONS IN EVOLUTIONARY SOFTWARE

RAMAMOORTHY, C.V., COOKE, DANIEL E., BARAL, CHITTA

Journal:

International Journal of Artificial Intelligence Tools

Year:

1993

Language:

english

File:

PDF, 869 KB

english, 1993

39

Incremental Information Extraction Using Relational Databases

Tari, Luis, Phan Huy Tu,, Hakenberg, Jorg, Yi Chen,, Tran Cao Son,, Gonzalez, Graciela, Baral, Chitta

Journal:

IEEE Transactions on Knowledge and Data Engineering

Year:

2012

Language:

english

File:

PDF, 1.05 MB

english, 2012

40

Domain-dependent knowledge in answer set planning

Son, Tran Cao, Baral, Chitta, Tran, Nam, Mcilraith, Sheila

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 293 KB

english, 2006

41

[ACM Press the sixth ACM international conference - Bristol, United Kingdom (1998.09.13-1998.09.16)] Proceedings of the sixth ACM international conference on Multimedia - MULTIMEDIA '98 - SQL+D

Baral, Chitta, Gonzalez, Graciela, Nandigam, Amarendra

Year:

1998

Language:

english

File:

PDF, 700 KB

english, 1998

42

Robots, softbots, immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control

GOLDMAN, ROBERT P., BARAL, CHITTA

Journal:

The Knowledge Engineering Review

Year:

1998

Language:

english

File:

PDF, 383 KB

english, 1998

43

Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

TU, PHAN HUY, SON, TRAN CAO, BARAL, CHITTA

Journal:

Theory and Practice of Logic Programming

Year:

2007

Language:

english

File:

PDF, 471 KB

english, 2007

44

[WORLD SCIENTIFIC Proceedings of the Pacific Symposium - Kohala Coast, Hawaii, USA (4 – 8 January 2015)] Biocomputing 2015 - CANCER PATHWAYS: AUTOMATIC EXTRACTION, REPRESENTATION, AND REASONING IN THE 'BIG DATA' ERA

GONZALEZ, GRACIELA, BARAL, CHITTA, KIEFER, JEFF, KIM, SEUNGCHAN, YE, JIEPING

Language:

english

File:

PDF, 568 KB

english

45

Reasoning about Action and Change || Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions

Chitta Baral and Nam Tran

Journal:

Year:

2005

Language:

english

File:

PDF, 1.48 MB

english, 2005

46

[WORLD SCIENTIFIC Proceedings of the Pacific Symposium - Kohala Coast, Hawaii, USA (5 – 9 January 2009)] Biocomputing 2009 - QUERYING PARSE TREE DATABASE OF MEDLINE TEXT TO SYNTHESIZE USER-SPECIFIC BIOMOLECULAR NETWORKS

TARI, LUIS, HAKENBERG, JÖRG, GONZALEZ, GRACIELA, BARAL, CHITTA

Language:

english

File:

PDF, 2.12 MB

english

47

Identifying Novel Drug Indications through Automated Reasoning

Tari, Luis, Vo, Nguyen, Liang, Shanshan, Patel, Jagruti, Baral, Chitta, Cai, James, Ahmad, Aamir

Journal:

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

48

[IEEE 2019 IEEE Winter Conference on Applications of Computer Vision (WACV) - Waikoloa Village, HI, USA (2019.1.7-2019.1.11)] 2019 IEEE Winter Conference on Applications of Computer Vision (WACV) - Spatial Knowledge Distillation to Aid Visual Reasoning

Aditya, Somak, Saha, Rudra, Yang, Yezhou, Baral, Chitta

Year:

2019

Language:

english

File:

PDF, 36 KB

english, 2019

49

AAAI 2008 Spring Symposia Reports

Balduccini, Marcello, Baral, Chitta, Brodaric, Boyan, Colton, Simon, Fox, Peter, Gutelius, David, Hinkelmann, Knut, Horswill, Ian, Huberman, Bernardo, Hudlicka, Eva, Lerman, Kristina, Lisetti, Christi

Journal:

Year:

2008

Language:

english

File:

PDF, 1.36 MB

english, 2008

50

Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming

Mitra, Arindam, Clark, Peter, Tafjord, Oyvind, Baral, Chitta

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

File:

PDF, 276 KB

2019